Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goal to achieve, and in which agents must typically cooperate with others in order to satisfy their goals. In this paper, we show how it is possible to reason about QCGs using Coalition Logic (CL), a formalism intended to facilitate reasoning about coalitional powers in game-like multiagent systems. We introduce a correspondence relation (...) between QCGs and interpretations for CL, which defines the circumstances under which a CL interpretation correctly characterises a QCG. The complexity of deciding correspondence between QCGs and interpretations for CL is shown to vary from being tractable up to Πp 2-complete, depending on the representation chosen for the QCG and interpretation. We then show how various properties and solution concepts of QCGs can be characterised as CL formula schemes. The ideas are illustrated via a detailed worked example, in which we demonstrate how a model checker can be deployed to investigate whether a particular system has the properties in question. (shrink)

Much of the formal study of algorithmic concerns with respect to semantics for abstract argumentation frameworks has focused on the issue of computational complexity. In contrast matters regarding computability have been largely neglected. Recent trends in semantics have, however, started to concentrate not so much on the formulation of novel semantics but more on identifying common properties: for example, from basic ideas such as conflict-freeness through to quite sophisticated ideas such as serializability. The aim of this paper is to look (...) at the implications these more recent studies have for computability rather than computational complexity. (shrink)

The analysis of how social conventions emerge and become established is rightly viewed as a significant study of great relevance to models of legal and social systems. Such conventions, however, do not operate in a monotonic fashion, i.e. the fact that a convention is recognised and complied with at some instant is no guarantee it will continue to be so indefinitely. In total rules and protocols may evolve, with or without the consent of individual members of the society, even to (...) the extent that some cease to be observed or effective. In this paper we examine a framework for examining such changes in behavioural conventions that uses a proposed “taxonomy of social conventions” as the basis of a qualitative model deriving from value-based argument systems. (shrink)

The concept of strong admissibility plays an important role in dialectical proof procedures for grounded semantics allowing, as it does, concise proofs that an argument belongs to the grounded extension without having necessarily to construct this extension in full. One consequence of this property is that strong admissibility ceases to be a unique status semantics. In fact it is straightforward to construct examples for which the number of distinct strongly admissible sets is exponential in the number of arguments. We are (...) interested in characterizing properties of collections of strongly admissible sets in the sense that any system describing the strongly admissible sets of an argument framework must satisfy particular criteria. In terms of previous studies, our concern is the signature and with conditions ensuring realizability. The principal result is to demonstrate that a system of sets describes the strongly admissible sets of some framework if and only if that system has the property of being decomposable. (shrink)

Background Since the UK Abortion Act (1967), women have travelled from Ireland to the UK for legal abortion. In 2011 >4000 women did so. Knowledge and attitudes of medical students towards abortion have been published, however, this is the first such report from Ireland. Objective To investigate medical students’ attitudes towards abortion in Ireland. Methods All medical students at the University of Limerick, and physicians who graduated from the university within the previous 12 months, were invited via email to complete (...) an anonymous online survey. The questionnaire comprised 17 questions. Quantitative and qualitative analyses were performed. Results Response rate was 45% (n=169; 55% women; 88.2% <30 years of age; 66.7% Irish; 29.2% North American). Outcomes were: abortion should not be legally available (7.1%), abortion should be allowed in limited circumstances only (35.5%), abortion should be legally available upon request (55%). 72.8% of respondents were moderately/strongly prochoice (74% of women/71% of men/72% and 76% of Irish and North American respondents, respectively). Students aged >30 years were less likely to be prochoice (55%). While 95.2% believed that education on abortion should be offered within medical school curricula, 28.8% stated that they would decline to terminate pregnancies even if legally permitted. While 58.8% indicated that they might perform legal abortions once qualified, 25.7% would do so under limited circumstances only. Conclusions The majority of participants wanted education regarding abortion. Despite being predominantly prochoice, considerably fewer students, irrespective of nationality, indicated that they would perform abortions. (shrink)

The incident at Antioch described in Galatians 2:11–14 features in a number of Augustine’s works: Expositio epistulae ad Galatas, his correspondence with Jerome, De mendacio, Sermo 162C, and in De baptismo contra Donatistas. While a few scholars have seen Augustine’s anti-Donatism as a driving force behind all his comments about this encounter between Peter and Paul, this article argues that, while the idea of Peter’s humility is to be found in his commentary, the sermon, one of the letters, and (...) the treatises, Augustine interpreted the scriptural passage in a variety of different ways, depending upon his situation. In the commentary, Augustine wanted to defend the reality of the argument between Peter and Paul because of his belief that scriptural authors would not lie. The same idea occurs in his letters, e.g., Epistula 82, where he adds that his interpretation was supported by Cyprian. Contrary to the aforementioned scholars, it is only in De baptismo that Augustine applies the Galatians passage, which he takes as referring to Peter’s humility, to Cyprian himself as an imitator of Peter. Thus, it is only in this treatise that Augustine seeks to redeem Cyprian from the clutches of the Donatists. A close reading of this variety of interpretation by Augustine contributes to an appreciation of the complexity of his reception of Cyprian, a topic of ever-increasing importance in Augustinian studies. (shrink)

Teaching at a private, conservative religious institution poses unique challenges for equality, diversity, and inclusivity education (EDI). Given the realities of the student population in the Honors College of a private, religious institution, it is necessary to first introduce students to the contemporary realities of inequality and oppression and thus the need for EDI. This chapter proposes a conceptual framework and pedagogical suggestions for teaching basic concepts of social justice in a team-taught, interdisciplinary social science course. The course integrates four (...) different approaches to justice: theoretical, social scientific, narratological, and experiential. The discussion of the experiential dimension of the course references practical pedagogical strategies for making social justice and inequality real for our students. Understanding the realities of social inequality and its roots can foster a better understanding of the social forces and structures that perpetuate inequality. Furthermore, this approach can plant the intellectual and empathic seeds to challenge in-group bias and hopefully germinate into fruitful interaction with diverse others. Finally, this rich, interdisciplinary encounter with social inequality and justice can prepare students to work for just social structures that will lead to a more inclusive world. (shrink)

Religion, reason, and the enchanted public sphere -- Minor protest(ant)s: Cohen and German-Jewish liberalism -- The dialectic of enchantment: science, religion, and secular reasoning -- Rights, religion, and race: Cohen's ethical socialism and the specter of anti-Semitism -- Enchanted reasoning: self-reflexive religion and minority -- Some minor reflections of enchantment.

At the end of the nineteenth century, Ludwig Edinger completed the first comparative survey of the microscopic anatomy of vertebrate brains. He is regarded as the founder of the field of comparative neuroanatomy. Modern commentators have misunderstood him to have espoused an anti-Darwinian linear view of brain evolution, harkening to the metaphysics of the scala naturae. This understanding arises, in part, from an increasingly contested view of nineteenth-century morphology in Germany. Edinger did espouse a progressionist, though not strictly linear, view (...) of forebrain evolution, but his work also provided carefully documented evidence that brain stem structures vary in complexity independently from one another and across species in a manner that is not compatible with linear progress. This led Edinger to reject progressionism for all brain structures other than the forebrain roof, based on reasoning not too dissimilar from those his successors used to dismiss it for the forebrain roof. (shrink)

Originally published in 1971 by Winthrop Publishers, Inc., this volume provides a discussion and analysis of the theory of natural law as it appears in contemporary political and social thought. This theory of natural law was used from the fifth century B.C. until the end of the eighteenth century to provide a universal, rational standard to determine the nature and limits of political obligation, the evaluation of competing forms of government, and the relation of law and politics to morals.

The development of evolutionary approaches to psychology from Classical Ethology through Sociobiology to Evolutionary Psychology is outlined and the main tenets of today's Evolutionary Psychology briefly examined: the heuristic value of evolutionary thinking for psychology, the massive modularity thesis and the monomorphic mind thesis.

The sociotechnical domain is the realm of scientists, the communities and institutions they form, and the tools and instruments they use to create, disseminate, and preserve knowledge. This paper reviews current scientonomic theory concerning this domain. A core scientonomic concept is that of an epistemic agent. Generally, an agent is an entity capable of intentional action—action that has content or meaning due to its purposeful direction towards a goal. An epistemic agent is one whose actions are the taking of epistemic (...) stances, such as acceptance or rejection, towards epistemic elements, like theories or questions. An epistemic agent must semantically understand the propositions in question, and their alternatives, and choose among them with reason, with the motive of acquiring knowledge. The most obvious example of an epistemic agent is an individual human being. Rejecting the network of practitioners view, current scientonomic theory argues that appropriately organized communities of scientists can also function as epistemic agents. Communal epistemic agents are of particular scientonomic importance. Whereas the methods of theory assessment of individual scientists can be idiosyncratic, scientonomic theory contends that the taking of epistemic stances by scientific communities is a lawful, rule governed process. A second concept of central importance is that of an epistemic tool. A physical object or system is an epistemic tool for some epistemic agent if there is a procedure by which the tool can provide an acceptable source of knowledge under the method employed by that agent. (shrink)

Paul E. Griffiths argues that most research on the emotions has been as misguided as Aristotelian efforts to study "superlunary objects" - objects...

The relationship between individuals’ creativity and their ethical ideologies appears to be complex. Applying Forsyth’s (1980, 1992) personal moral philosophy model which consists of two independent ethical ideology dimensions, idealism and relativism, we hypothesized and found support for a positive relationship between creativity and relativism. It appears that creative people are less likely than non-creative people to follow universal rules in their moral decision making. However, contrary to our hypothesis and the general stereotype that creative people are less caring about (...) others, we found a positive relationship between creativity and idealism. These findings indicate that highly creative people are likely to be what Forsyth called “situationists,” individuals with both an ethic of caring and a pragmatic moral decision-making style. The finding that creative individuals tend to be situationists, and particularly that they tend to be high in idealism, appears to refute the line of reasoning that argues for a “creative personality” characterized in part by social insensitivity. Understanding the relationship between creativity and ethical ideologies has important implications for researchers, managers and teachers. (shrink)

The etiological approach to ‘proper functions’ in biology can be strengthened by relating it to Robert Cummins' general treatment of function ascription. The proper functions of a biological trait are the functions it is assigned in a Cummins-style functional explanation of the fitness of ancestors. These functions figure in selective explanations of the trait. It is also argued that some recent etiological theories include inaccurate accounts of selective explanation in biology. Finally, a generalization of the notion of selective explanation allows (...) an analysis of the proper functions of human artifacts. (shrink)

Many of the most important properties of human groups – including properties that may give one group an evolutionary advantage over another – are properly defined only at the level of group organization. Yet at present, most work on the evolution of culture has focused solely on the transmission of individual-level traits. I propose a conceptual extension of the theory of cultural evolution, particularly related to the evolutionary competition between cultural groups. The key concept in this extension is the emergent (...) group-level trait. This type of trait is characterized by the structured organization of differentiated individuals and constitutes a unit of selection that is qualitatively different from selection on groups as defined by traditional multilevel selection theory. As a corollary, I argue that the traditional focus on cooperation as the defining feature of human societies has missed an essential feature of cooperative groups. Traditional models of cooperation assume that interacting with one cooperator is equivalent to interacting with any other. However, human groups involve differential roles, meaning that receiving aid from one individual is often preferred to receiving aid from another. In this target article, I discuss the emergence and evolution of group-level traits and the implications for the theory of cultural evolution, including ramifications for the evolution of human cooperation, technology, and cultural institutions, and for the equivalency of multilevel selection and inclusive fitness approaches. (shrink)

Some ‘naturalist’ accounts of disease employ a biostatistical account of dysfunction, whilst others use a ‘selected effect’ account. Several recent authors have argued that the biostatistical account offers the best hope for a naturalist account of disease. We show that the selected effect account survives the criticisms levelled by these authors relatively unscathed, and has significant advantages over the BST. Moreover, unlike the BST, it has a strong theoretical rationale and can provide substantive reasons to decide difficult cases. This is (...) illustrated by showing how life-history theory clarifies the status of so-called diseases of old age. The selected effect account of function deserves a more prominent place in the philosophy of medicine than it currently occupies. _1_ Introduction _2_ Biostatistical and Selected Effect Accounts of Function _3_ Objections to the Selected Effect Account _3.1_ Boorse _3.2_ Kingma _3.3_ Hausman _3.4_ Murphy and Woolfolk _4_ Problems for the Biostatistical Account _4.1_ Schwartz _5_ Analysis versus Explication _6_ Explicating Dysfunction: Life History Theory and Senescence _7_ Conclusion. (shrink)

In behavioral ecology some authors regard the innateness concept as irretrievably confused whilst others take it to refer to adaptations. In cognitive psychology, however, whether traits are 'innate' is regarded as a significant question and is often the subject of heated debate. Several philosophers have tried to define innateness with the intention of making sense of its use in cognitive psychology. In contrast, I argue that the concept is irretrievably confused. The vernacular innateness concept represents a key aspect of 'folkbiology', (...) namely, the explanatory strategy that psychologists and cognitive anthropologists have labeled 'folk essentialism'. Folk essentialism is inimical to Darwinism, and both Darwin and the founders of the modern synthesis struggled to overcome this way of thinking about living systems. Because the vernacular concept of innateness is part of folkbiology, attempts to define it more adequately are unlikely to succeed, making it preferable to introduce new, neutral terms for the various, related notions that are needed to understand cognitive development. (shrink)

Because physical theories typically predict numerical values, an improvement in experimental precision reduces the tolerance range and hence increases corroborability. In most psychological research, improved power of a statistical design leads to a prior probability approaching 1/2 of finding a significant difference in the theoretically predicted direction. Hence the corroboration yielded by "success" is very weak, and becomes weaker with increased precision. "Statistical significance" plays a logical role in psychology precisely the reverse of its role in physics. This problem is (...) worsened by certain unhealthy tendencies prevalent among psychologists, such as a premium placed on experimental "cuteness" and a free reliance upon ad hoc explanations to avoid refutation. (shrink)

Several authors have argued that causes differ in the degree to which they are ‘specific’ to their effects. Woodward has used this idea to enrich his influential interventionist theory of causal explanation. Here we propose a way to measure causal specificity using tools from information theory. We show that the specificity of a causal variable is not well-defined without a probability distribution over the states of that variable. We demonstrate the tractability and interest of our proposed measure by measuring the (...) specificity of coding DNA and other factors in a simple model of the production of mRNA. (shrink)

Human experts are the source of knowledge required to develop computer systems that perform at an expert level. Human beings are not, however, able to reliably express what they know. As a result, experts often develop non-authentic accounts of their own expertise. These accounts, here termed reconstructed methods of reasoning, lead to computer systems that perform at a high level of proficiency but have the disadvantage that they often do not reflect the heuristics and processing constraints of a system user. (...) Reconstructed methods of reasoning are compared with authentic methods derived from the study of expert human behavior. Tests are proposed to establish the authenticity of reasoning methods and examples from medical diagnosis are used to illustrate how authentic methods of reasoning can be incorporated into an expert computer system. CiteULike Connotea Del.icio.us What's this? (shrink)

We outline three very different concepts of the gene—instrumental, nominal, and postgenomic. The instrumental gene has a critical role in the construction and interpretation of experiments in which the relationship between genotype and phenotype is explored via hybridization between organisms or directly between nucleic acid molecules. It also plays an important theoretical role in the foundations of disciplines such as quantitative genetics and population genetics. The nominal gene is a critical practical tool, allowing stable communication between bioscientists in a wide (...) range of fields grounded in well-defined sequences of nucleotides, but this concept does not embody major theoretical insights into genome structure or function. The post-genomic gene embodies the continuing project of understanding how genome structure supports genome function, but with a deflationary picture of the gene as a structural unit. This final concept of the gene poses a significant challenge to conventional assumptions about the relationship between genome structure and function, and between genotype and phenotype. (shrink)